Sponging   disallowed (Read-only view)

If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2.

% meta-cartridges called:
Meta-cartridge [execution time]: